Msg $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Msg($w$.M)